Combined Petri net modelling and AI-based heuristic hybrid search for flexible manufacturing systems-Part II. Heuristic hybrid searchYU, H; REYES, A; CANG, S et al.Computers & industrial engineering. 2003, Vol 44, Num 4, pp 545-566, issn 0360-8352, 22 p.Article

Performance evaluation of parallel multithreaded A* heuristic search algorithmMAHAFZAH, Basel A.Journal of information science. 2014, Vol 40, Num 3, pp 363-375, issn 0165-5515, 13 p.Article

Rippling : a heuristic for guiding inductive proofsBUNDY, A; STEVENS, A; VAN HARMELEN, F et al.Artificial intelligence. 1993, Vol 62, Num 2, pp 185-253, issn 0004-3702Article

Building adaptive tests using Bayesian networksVOMLEL, Jiri.Kybernetika. 2004, Vol 40, Num 3, pp 333-348, issn 0023-5954, 16 p.Conference Paper

Predicting the size of IDA*'s search treeLELIS, Levi H. S; ZILLES, Sandra; HOLTE, Robert C et al.Artificial intelligence (General ed.). 2013, Vol 196, pp 53-76, issn 0004-3702, 24 p.Article

Solving the medium newspaper production/distribution problemVAN BUER, M. G; WOODRUFF, D. L; OLSON, R. T et al.European journal of operational research. 1999, Vol 115, Num 2, pp 237-253, issn 0377-2217Article

A non-binary constraint ordering heuristic for constraint satisfaction problemsSALIDO, Miguel A.Applied mathematics and computation. 2008, Vol 198, Num 1, pp 280-295, issn 0096-3003, 16 p.Article

A heuristic logic for randomization in fuzzy miningRUBIN, S. H.Control and intelligent systems. 1999, Vol 27, Num 1, pp 26-39, issn 1480-1752Article

Linear-space best-first searchKORF, R. E.Artificial intelligence. 1993, Vol 62, Num 1, pp 41-78, issn 0004-3702Article

Round-pound arithmeticMACCALLUM, I.Software, practice & experience. 1996, Vol 26, Num 3, pp 293-307, issn 0038-0644Article

Using heuristic search for finding deadlocks in concurrent systemsGRADARA, Sara; SANTONE, Antonella; VILLANI, Maria Luisa et al.Information and computation (Print). 2005, Vol 202, Num 2, pp 191-226, issn 0890-5401, 36 p.Article

Tuning evaluation functions by maximizing concordanceGOMBOC, D; BURO, M; MARSLAND, T. A et al.Theoretical computer science. 2005, Vol 349, Num 2, pp 202-229, issn 0304-3975, 28 p.Conference Paper

Heuristic Structural Optimization of the Permanent Magnets Used in a Surface Mounted Permanent-Magnet Synchronous MachineHAHN, Ingo.IEEE transactions on magnetics. 2012, Vol 48, Num 1, pp 118-127, issn 0018-9464, 10 p.Article

A comparison of heuristic best-first algorithms for bicriterion shortest path problemsMACHUCA, E; MANDOW, L; DE LA CRUZ, J. L. Perez et al.European journal of operational research. 2012, Vol 217, Num 1, pp 44-53, issn 0377-2217, 10 p.Article

Improved merit order and augmented Lagrange Hopfield network for short term hydrothermal schedulingNGOC DIEU, Vo; ONGSAKUL, Weerakorn.Energy conversion and management. 2009, Vol 50, Num 12, pp 3015-3023, issn 0196-8904, 9 p.Article

A modified differential evolution approach for dynamic economic dispatch with valve-point effectsXIAOHUI YUAN; LIANG WANG; YANBIN YUAN et al.Energy conversion and management. 2008, Vol 49, Num 12, pp 3447-3453, issn 0196-8904, 7 p.Article

Landmark-enhanced abstraction heuristicsDOMSHLAK, Carmel; KATZ, Michael; LEFLER, Sagi et al.Artificial intelligence (General ed.). 2012, Vol 189, pp 48-68, issn 0004-3702, 21 p.Article

A two-stage intelligent search algorithm for the two-dimensional strip packing problemLEUNG, Stephen C. H; DEFU ZHANG; KWANG MONG SIM et al.European journal of operational research. 2011, Vol 215, Num 1, pp 57-69, issn 0377-2217, 13 p.Article

The computational complexity of avoiding spurious states in state space abstractionZILLES, Sandra; HOLTE, Robert C.Artificial intelligence (General ed.). 2010, Vol 174, Num 14, pp 1072-1092, issn 0004-3702, 21 p.Article

Construction of Skolem sequencesSHARAF ELDIN, A; SHALABY, N; AL-THUKAIR, F et al.International journal of computer mathematics. 1998, Vol 70, Num 2, pp 333-345, issn 0020-7160Article

Inconsistent heuristics in theory and practiceFELNER, Ariel; ZAHAVI, Uzi; HOLTER, Robert et al.Artificial intelligence (General ed.). 2011, Vol 175, Num 9-10, pp 1570-1603, issn 0004-3702, 34 p.Article

Heuristics for model checking Java programs : Algorithmics of software model checkingGROCE, Alex; VISSER, Willem.International journal on software tools for technology transfer (Print). 2004, Vol 6, Num 4, pp 260-276, issn 1433-2779, 17 p.Conference Paper

An analysis of the conspiracy numbers algorithmLISTER, L; SCHAEFFER, J.Computers & mathematics with applications (1987). 1994, Vol 27, Num 1, pp 41-64, issn 0898-1221Article

State-set branching : Leveraging BDDs for heuristic searchJENSEN, Rune M; VELOSO, Manuela M; BRYANT, Randal E et al.Artificial intelligence. 2008, Vol 172, Num 2-3, pp 103-139, issn 0004-3702, 37 p.Article

Conformant planning via heuristic forward search : A new approachHOFFMANN, Jorg; BRAFMAN, Ronen I.Artificial intelligence. 2006, Vol 170, Num 6-7, pp 507-541, issn 0004-3702, 35 p.Article